
#include <jxos_config.h>

#define SIM_TIMER_MAX 		SWTIMER_MAX